The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
<p>**Abstract:** This paper introduces Hyper-Dynamic Semantic Scrambling for Adaptive Cybersecurity Defense (HDSS-ACD), a novel framework leveraging real-time s...
freederia.com·11h
🛡️Security Type Systems
Flag this post
Models not making it clear when they're roleplaying seems like a fairly big issue
lesswrong.com·1d
🔍ML Language
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.org·2d
📊LR Parsing
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
⚙️TOML Parsers
Flag this post
Automatic Syntax Error Recovery (2020)
🔧Error Recovery
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·8h
📋Backus-Naur Form
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
"I don't test, should I?": A reprise. (Aka should LLM agents write my tests for me if my code works?)
🧪Parser Testing
Flag this post
Poets are now cybersecurity threats: Researchers used 'adversarial poetry' to jailbreak AI and it worked 62% of the time
pcgamer.com·1d
🛡️Parser Security
Flag this post
How pairing SAST with AI dramatically reduces false positives in code security
infoworld.com·2d
🧪Parser Testing
Flag this post
FAWK: LLMs can write a language interpreter
🐪OCaml
Flag this post
When AI Goes Wrong
🛡️Error Ergonomics
Flag this post
I Thought TOON Was Hype. Then I Tested It…
📋JSON Parsing
Flag this post
Loading...Loading more...